DEFINITION MODULE MathLib0 ;

(* all functions accept REAL & SHORTREAL(motorola FFP) as arguments *)

PROCEDURE sqrt	( x : LONGREAL ) : LONGREAL ;
PROCEDURE exp	( x : LONGREAL ) : LONGREAL ;
PROCEDURE ln	( x : LONGREAL ) : LONGREAL ;
PROCEDURE sin	( x : LONGREAL ) : LONGREAL ;
PROCEDURE cos	( x : LONGREAL ) : LONGREAL ;
PROCEDURE arctan( x : LONGREAL ) : LONGREAL ;
PROCEDURE entier( x : LONGREAL ) : LONGINT  ;

END MathLib0.

